<?hh

function f<reify Ta, reify Tb>() {}
<<__EntryPoint>> function main(): void {
f<string>();
}
